www.kernkonzept.com Demo: Timing Aware Hardware Virtualization on the L4Re Microkernel System

Source URL: 2016.rtas.org

information security technical report–138 available at www.sciencedirect.com www.compseconline.com/publications/prodinf.htm

Source URL: ipads.se.sjtu.edu.cn

• Computer security
• Computing
• Trusted computing
• Cryptography
• Windows Vista
• Trusted Computing Group
• Next-Generation Secure Computing Base
• Grid computing
• Proxy server
• Rootkit
• Virtualization
• Hardware virtualization

S P E E D
S E R I E S Turbo
Appliances Ÿ Throughput for cost-effec ve rou ng and

Source URL: www.6wind.com

• Computing
• Network architecture
• Networking hardware
• Computer networking
• Internet protocols
• 6WIND
• Data Plane Development Kit
• Open vSwitch
• Virtual Router Redundancy Protocol
• IPv6
• Network function virtualization
• IPsec

Rearchitecting System Software for the Cloud Muli Ben-Yehuda, Dan Tsafrir Technion—Israel Institute of Technology What is the Problem? Today’s OS’s Are Inefficient

Source URL: www.mulix.org

• Software
• System software
• Computing
• Hardware virtualization
• Computer networking
• Peripheral Component Interconnect
• Single-root input/output virtualization
• Monolithic kernels
• Device driver
• Hyper-V
• QEMU
• Virtualization

Reducing World Switches in Virtualized Environment with Flexible Cross-world Calls Wenhao Li, Yubin Xia, Haibo Chen, Binyu Zang, Haibing Guan Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong U

Source URL: ipads.se.sjtu.edu.cn

• Hypervisor
• VM
• Hardware virtualization
• Hyper-V
• Protection ring
• Mach
• Xen
• System call
• Calling convention
• Operating system
• Embedded hypervisor

vIOMMU: Efficient IOMMU Emulation Nadav Amit Technion & IBM Research Muli Ben-Yehuda Technion & IBM Research

Source URL: www.mulix.org

• Computing
• Computer hardware
• Software
• Inputoutput memory management unit
• Memory management
• Direct memory access
• Hypervisor
• Virtualization
• Virtual machine
• Hyper-V
• Paravirtualization
• Emulator

Schedule Processes, not VCPUs∗ Xiang Song, Jicheng Shi, Haibo Chen, Binyu Zang Institute of Parallel and Distributed Systems School of Software, Shanghai Jiao Tong University Abstract

Source URL: ipads.se.sjtu.edu.cn

• Scheduling
• Concurrent computing
• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• Hypervisor
• Hyper-V
• Completely Fair Scheduler
• QEMU
• Hardware virtualization
• Kernel-based Virtual Machine
• Kernel preemption

Virtics: A System for Privilege Separation of Legacy Desktop Applications Matt Piotrowski Anthony D. Joseph

Source URL: www.eecs.berkeley.edu

• Software
• Computing
• VM
• Hardware virtualization
• HTTP cookie
• Operating system
• Google Chrome
• Java
• Qubes OS

Hardware Virtualization Rootkits Dino A. Dai Zovi Agenda •

Source URL: www.trailofbits.com

• Software
• System software
• Computing
• Hardware virtualization
• Hypervisor
• Virtual machine
• VM
• Virtualization
• Protection ring
• Operating system
• Hardware-assisted virtualization
• System virtual machine

Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor Patrick Colp†, Mihir Nanavati†, Jun Zhu‡, William Aiello†, George Coker∗, Tim Deegan‡, Peter Loscocco∗, and Andrew Warfield†

Source URL: tjd.phlegethon.org

• Hyper-V
• Windows Server
• Xen
• VM
• Hardware virtualization
• Hypervisor
• Virtualization
• QEMU
• Virtual machine
• Live migration
• Temporal isolation among virtual machines
• Embedded hypervisor